Design specification

Results: 860



#Item
641Electronic design automation / Logic design / Model checking / Temporal logic / VHDL / Logic simulation / Hardware verification languages / Formal methods / Property Specification Language / Electronic engineering / Digital electronics / Hardware description languages

ON THE EFFECTIVENESS OF ASSERTION-BASED VERIFICATION IN AN INDUSTRIAL CONTEXT L.Pierre, F.Pancher, R.Suescun, J.Quévremont TIMA Laboratory, Grenoble, France

Add to Reading List

Source URL: lvl.info.ucl.ac.be

Language: English - Date: 2013-10-21 02:25:05
642HTML / World Wide Web Consortium / Mathematical markup languages / Standard Generalized Markup Language / XML / Document Style Semantics and Specification Language / Design Science / MathType / MathJax / Computing / Markup languages / MathML

MathML: A Key to Math on the Web Patrick D.F. Ion Mathematical Reviews P. O. Box 8604 Ann Arbor, MI 48107, USA

Add to Reading List

Source URL: tug.org

Language: English - Date: 1999-12-27 10:35:20
643Supply chain management / Auction theory / Manufacturing / Purchasing / Contract A / Government procurement in the United States / Construction / Auction / Design–bid–build / Business / Auctioneering / Procurement

Furniture and Shelving: Specification and Bidding Furniture and Shelving: Specification and Bidding. This material has been created by Linda Demmers, Carole Graham, and Earl Siems and provided through the Libris Design P

Add to Reading List

Source URL: www.librisdesign.org

Language: English - Date: 2013-08-11 19:40:55
644Geographic information system / Inventory / Database / Forest inventory / Software development process / Data center / Adaptive management / Business / Technology / Concurrent computing

Software Requirements Specification for the Design Tool for Inventory and Monitoring

Add to Reading List

Source URL: www.fs.fed.us

Language: English - Date: 2013-03-24 10:49:29
645Ibis the Invincible / Acceptance testing / Comics / Software testing / Electronic design automation / Input/output Buffer Information Specification

Worksheet II Testing Summary IBIS user acceptance testing for the Worksheet II form took place between January 4th and January 7th, 2013. Testing was completed by OSBM analysts and individuals from the following state ag

Add to Reading List

Source URL: ibis.nc.gov

Language: English - Date: 2013-01-25 08:53:05
646Acceptance testing / Software testing / Electronic design automation / Input/output Buffer Information Specification

Certification Testing Summary IBIS user acceptance testing for the capital and operating certification form took place February 28th March 1st. Testing was completed by OSBM analysts and individuals from the following st

Add to Reading List

Source URL: ibis.nc.gov

Language: English - Date: 2013-03-20 15:40:14
647Curtain wall / Insulated glazing / Passive solar building design / Daylighting / Thermal break / Product certification / Specification / Mullion / Fenestration testing laboratory / Architecture / Windows / Construction

MARKET INFORMATION REPORTS

Add to Reading List

Source URL: www.aamanet.org

Language: English - Date: 2014-06-24 12:00:43
648Technical communication / Computer file formats / Product development / Quality / Specification / Standards / Joint application design / Portable Document Format / Microsoft Word / Software / Computing / Technology

APPENDICES (only if not referenced elsewhere, then push to get it in the right location)

Add to Reading List

Source URL: www.dot.ca.gov

Language: English - Date: 2013-08-02 17:39:09
649Reference / Evaluation / Industrial engineering / Industrial design / Packaging and labeling / Retailing / Specification / American National Standards Institute / Technical standard / Technology / Standards / Technical communication

PDF Document

Add to Reading List

Source URL: www.nuclearsafety.gc.ca

Language: English - Date: 2011-01-25 13:39:42
650Systems engineering / Management / Quality / Software requirements / Construction / Specification / American Association of State Highway and Transportation Officials / System requirements / Requirement / Business / Standards / Technology

DB Contract Docs Design Req

Add to Reading List

Source URL: www.deldot.gov

Language: English - Date: 2009-09-10 15:33:22
UPDATE